1. An introduction to mathematical logic and type theory: to truth through proof
المؤلف: Andrews, P. B. )Peter Bruce(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
2002
2. An introduction to mathematical logic and type theory : to truth through proof
المؤلف: Andrews, Peter Bruce
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
1986
3. An introduction to mathematical logic and type theory. to truth through proof
المؤلف: Andrews, P. B.)Peter Bruce(,7391-, Peter B. Andrews
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
4. An introduction to mathematical logic and type theory: to truth through proof
المؤلف: Andrews, Peter Bruce
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Type theory
رده :
QA
9
.
A638
5. An introduction to mathematical logic & type theory:to truth
المؤلف: ANDREWS,PETER BRUCE
المکتبة: (طهران)
موضوع: LOGIC,SYMBOLIC & MATHEMATICAL , TYPE THEORY
رده :
QA
9
.
A638
